Nutmeg: a MIP and CP Hybrid Solver Using Branch-and-Check

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Hybrid MIP/CP Approach for Multi-activity Shift Scheduling

We propose a hybrid MIP/CP approach for solving multiactivity shift scheduling problems, based on regular languages that partially describe the set of feasible shifts. We use an aggregated MIP relaxation to capture the optimization part of the problem and to get rid of symmetry. Whenever the MIP solver generates a integer solution, we use a CP solver to check whether it can be turned into a fea...

متن کامل

Orbital Shrinking: A New Tool for Hybrid MIP/CP Methods

Orbital shrinking is a newly developed technique in the MIP community to deal with symmetry issues, which is based on aggregation rather than on symmetry breaking. In a recent work, a hybrid MIP/CP scheme based on orbital shrinking was developed for the multi-activity shift scheduling problem, showing significant improvements over previous pure MIP approaches. In the present paper we show that ...

متن کامل

Detecting Infeasibility and Generating Cuts for MIP using CP

We study a hybrid MIP/CP solution approach in which CP is used for detecting infeasibilities and generating cuts within a branch-and-cut algorithm for MIP. Our framework applies to MIP problems augmented by monotone constraints that can be handled by CP. We illustrate our approach on a generic multiple machine scheduling problem, and compare it to other hybrid MIP/CP algorithms.

متن کامل

A hybrid MIP-CP algorithm for a linked planning and scheduling problem from chemical industry

Over the last years, there has been a growing interest in the idea of combining the two techniques of Constraint Programming and Mixed Integer Programming. The idea is appealing, because the techniques are very similar in that they both rely on the idea of branching and are principally able to solve almost the same class of problems, on the other hand the efficiency of the techniques on certain...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: SN Operations Research Forum

سال: 2020

ISSN: 2662-2556

DOI: 10.1007/s43069-020-00023-2